De-Formalizing Statecharts

We explore the problem of translating a large set of propo-sitional formulae (deening the transition behavior of a statechart) into natural language in a way that is both sound and complete. The dii-culty is not so much obtaining a literal translation of the logical content as it is avoiding interference from pragmatic eeects|inferences that are based on a readers expectations about the way the information is presented. While such eeects are often hard to quantify, we explore them within a formal framework that abstracts away from most of the semantic clutter, allowing us to treat them in a rigorous way while ensuring that soundness and completeness are maintained. The result is a hyper-text document communicating the theory of the transition behavior of the statechart in a way that is both formally and intuitively clear.